AH! ESSES DITADORES

Assigning Types to Pro esses

In wide area distributed systems it is now common for higher-order code to be transferred from one domain to another; the receiving host may initialise parameters and then execute the code in its local environment. In this paper we propose a fine-grained typing system for a higher-order π-calculus which can be used to control the effect of such migrating code on local environments. Processes ma...

Veri ation of Erlang Pro esses

Fourth moments of multivariate GARCH pro esses

Knowledge-based Modeling of Pro esses

AH Plus